Admissibility spectra and minimality
نویسندگان
چکیده
منابع مشابه
Weak Admissibility, Primitivity, O-minimality, and Diophantine Approximation
We generalise M. M. Skriganov’s notion of weak admissibility for lattices to include standard lattices occurring in Diophantine approximation and algebraic number theory, and we prove estimates for the number of lattice points in sets such as aligned boxes. Our result improves on Skriganov’s celebrated counting result if the box is sufficiently distorted, the lattice is not admissible, and, e.g...
متن کاملAdmissibility and Event-rationality Admissibility and Event-rationality
We develop an approach to providing epistemic conditions for admissible behavior in games. Instead of using lexicographic beliefs to capture infinitely less likely conjectures, we postulate that players use tie-breaking sets to help decide among strategies that are outcome-equivalent given their conjectures. A player is event-rational if she best responds to a conjecture and uses a list of subs...
متن کاملInference Rules in Nelson's Logics, Admissibility and Weak Admissibility
Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule....
متن کاملextensions, minimality and idempotents of certain semigroup compactifications
در فصل اول مقدمات و پیش نیازهای لازم برای فصل های بعدی فراهم گردیده است . در فصل دوم مساله توسیع مورد توجه قرار گرفته و ابتدا شرایطی که تحت آن از یک فشرده سازی نیم گروهی خاص یک زیرگروه نرمال بسته یک گروه به یک فشرده سازی متناظر با فشرده سازی اولیه برای گروه رسید مورد بررسی قرار گرفته و سپس ارتیاط بین ساختارهای مختلف روی این دو فشرده سازی از جمله ایده آل های مینیمال چپ و راست و... مورد بررسی قرا...
15 صفحه اولExact Unification and Admissibility
A new hierarchy of “exact” unification types is introduced, motivated by the study of admissible rules for equational classes and non-classical logics. In this setting, unifiers of identities in an equational class are preordered, not by instantiation, but rather by inclusion over the corresponding sets of unified identities. Minimal complete sets of unifiers under this new preordering always h...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1988
ISSN: 0168-0072
DOI: 10.1016/0168-0072(88)90033-4